prepositional calculus meaning in Chinese
介词演算
Examples
- In prepositional calculus , the property is new arrangement of simple statements in a clause or a term
返口到p中来看，这种“特殊性”实质上是对p中于句或者合取式中的原子命题的一种重新排列。 - In 1996 , professor wang guojun built formal deductive system l * of fuzzy prepositional calculus , then in the frame of system l * , constructed the logical base for fuzfcy reasoning rules from sematics
王国俊教授于1996年建立了模糊命题演算的形式系统l ~ * ，之后在系统l ~ *的框架中，从语义上为模糊推理规则构建了逻辑基础。 - We can construct a " numerals system " , and there is isomorphism of the numerals system into prepositional calculus , so , for a proof of prepositional calculus , by isomorphism , we can find a " numerals proof of the numerals system
) ，同构保证p中的命题演绎一一对应于n中的一个“数字演绎” ，同时，为了使用方便，应该使数字系统( ? )的表示过程尽可能简单。 - The second part builds a new algebra syetem rl , which in the definition of bl - algebra gets rid of the stronger condition and studies the properties of rl - algebra . in the same time , using rl - algebra as the true - value field this paper builds a more extentively formal deductive system of fuzzy prepositional calculus - - - - - - logic system rl . obtains a series of theorems , and studies the completeness of rl logic
第二部分：在以bl逻辑为背景的bl代数的定义中去掉限制性较强的条件a b = a ( a b ) ，建立了一种新的代数系统rl ，并进一步研究了rl代数类的性质；以rl代数为赋值域建立了一种更为广泛的模糊命题演算的形式系统? ?剩余格值逻辑系统rl ，得到了一系列定理，同时研究了逻辑系统rl的(弱)完备性